David C Luckham: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Extracting information from resolution proof trees

David Luckham, Nils J. Nilsson

Journal:

Artificial Intelligence

Year:

1971

Language:

english

File:

PDF, 1.97 MB

english, 1971

2

The highly surprising behaviour of diphosphine ligands in iron-catalysed Negishi cross-coupling

Messinis, Antonis M., Luckham, Stephen L. J., Wells, Peter P., Gianolio, Diego, Gibson, Emma K., O’Brien, Harry M., Sparkes, Hazel A., Davis, Sean A., Callison, June, Elorriaga, David, Hernandez-Fajar

Journal:

Nature Catalysis

Year:

2018

Language:

english

File:

PDF, 2.07 MB

english, 2018

3

Program schemes, recursion schemes, and formal languages

Stephen J. Garland, David C. Luckham

Journal:

Journal of Computer and System Sciences

Year:

1973

Language:

english

File:

PDF, 1.80 MB

english, 1973

4

Compatibility and Complexity of Refinements of the Resolution Principle

Kieburtz, Richard B., Luckham, David

Journal:

SIAM Journal on Computing

Year:

1972

Language:

english

File:

PDF, 2.04 MB

english, 1972

5

The Unit Preference Strategy in Theorem Provingby Lawrence Wos; Daniel Carson; George Robinson

Review by: David Luckham

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 203 KB

english, 1967

6

Ada exception handling: an axiomatic approach

Luckham, David C., Polak, W.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1980

Language:

english

File:

PDF, 471 KB

english, 1980

7

Hierarchies Over Recursive Well-Orderings

Herbert Enderton and David Luckham

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 554 KB

english, 1964

8

Event Processing for Business (Organizing the Real-Time Enterprise) || Index

Year:

2012

File:

PDF, 99 KB

2012

9

Partial orderings of event sets and their application to prototyping concurrent, timed systems

David C Luckham, James Vera, Doug Bryan, Larry Augustin, Frank Belz

Journal:

Journal of Systems and Software

Year:

1993

Language:

english

File:

PDF, 1.32 MB

english, 1993

10

Proof of termination within a weak logic of programs

David C. Luckham, Norihisa Suzuki

Journal:

Acta Informatica

Year:

1977

Language:

english

File:

PDF, 679 KB

english, 1977

11

Automatic program verification I: A logical basis and its implementation

Shigeru Igarashi, Ralph L. London, David C. Luckham

Journal:

Acta Informatica

Year:

1975

Language:

english

File:

PDF, 1.83 MB

english, 1975

12

[ACM Press ACM conference - Las Cruces, New Mexico, United States (1972.01.06-1972.01.07)] Proceedings of ACM conference on Proving assertions about programs - - Translating recursion schemes into program schemes

Garland, Stephen J., Luckham, David C.

Year:

1972

Language:

english

File:

PDF, 799 KB

english, 1972

13

Object-oriented megaprogramming (panel)

Wegner, Peter, Scherlis, William, Purtilo, James, Luckham, David, Johnson, Ralph

Journal:

ACM SIGPLAN Notices

Year:

1992

Language:

english

File:

PDF, 618 KB

english, 1992

14

Efficiency and Completeness of the Set of Support Strategy in Theorem Provingby Lawrence Wos; George A. Robinson; Daniel F. Carson

Review by: David Luckham

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 351 KB

english, 1967

15

On Automatic Deductionby John Alan Robinson

Review by: David Luckham

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 204 KB

english, 1966

16

A Machine-Oriented Logic based on the Resolution Principleby J. A. Robinson

Review by: David Luckham

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 308 KB

english, 1966

17

Resolution with Mergingby Peter B. Andrews

Review by: David Luckham

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 345 KB

english, 1970

18

Programming with Specifications ||

Year:

1990

Language:

english

File:

PDF, 33.34 MB

english, 1990

19

[ACM Press conference proceedings - Vancouver, British Columbia, Canada (1992.10.18-1992.10.22)] conference proceedings on Object-oriented programming systems, languages, and applications - OOPSLA '92 - Object-oriented megaprogramming (panel)

Wegner, Peter, Scherlis, William, Purtilo, James, Luckham, David, Johnson, Ralph

Year:

1992

Language:

english

File:

PDF, 618 KB

english, 1992

20

Translating recursion schemes into program schemes

Garland, Stephen J., Luckham, David C.

Journal:

ACM SIGPLAN Notices

Year:

1972

Language:

english

File:

PDF, 799 KB

english, 1972

21

Complex event processing (CEP)

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 271 KB

english, 2000

22

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - A type system for prototyping languages

Katiyar, Dinesh, Luckham, David, Mitchell, John

Year:

1994

Language:

english

File:

PDF, 1.30 MB

english, 1994

23

[ACM Press the Workshop - Portland, Oregon, USA (1994..-..)] Proceedings of the Workshop on Interface Definition Languages - IDL '94 - Polymorphism and subtyping in interface

Katiyar, Dinesh, Luckham, David, Mitchell, John

Year:

1994

Language:

english

File:

PDF, 886 KB

english, 1994

24

[ACM Press the fourth annual ACM symposium - Denver, Colorado, United States (1972.05.01-1972.05.03)] Proceedings of the fourth annual ACM symposium on Theory of computing - STOC '72 - On the equivalence of schemes

Garland, Stephen J., Luckham, David C.

Year:

1972

Language:

english

File:

PDF, 483 KB

english, 1972

25

[ACM Press the 1978 annual conference - Not Known (1978..-..)] Proceedings of the 1978 annual conference on - ACM '78 - Software validation and verification - a state of the art report(Panel Discussion)

Straeter, Terry A., Broglio, Carlo, Fujii, Marilyn, Stucki, Leon, Saib, Sabina, Luckham, David

Year:

1978

Language:

english

File:

PDF, 122 KB

english, 1978

26

[ACM Press the 1978 annual conference - Not Known (1978..-..)] Proceedings of the 1978 annual conference on - ACM '78 - A brief account

Luckham, David C.

Year:

1978

Language:

english

File:

PDF, 512 KB

english, 1978

27

[ACM Press the conference - Baltimore, Maryland, United States (1990.12.03-1990.12.06)] Proceedings of the conference on TRI-ADA '90 - TRI-Ada '90 - A new approach to prototyping Ada-based hardware/software systems

Belz, Frank C., Luckham, David C.

Year:

1990

Language:

english

File:

PDF, 1.33 MB

english, 1990

28

Verification of Array, Record, and Pointer Operations in Pascal

Luckham, David C., Suzuki, Norihisa

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1979

Language:

english

File:

PDF, 1.04 MB

english, 1979

29

Community Health Aides in the Ghetto: The Contra Costa Project

Jane Luckham and David W. Swift

Journal:

Year:

1969

Language:

english

File:

PDF, 355 KB

english, 1969

30

On Minimal and Almost-Minimal Systems of Notations

David Luckham and Hilary Putnam

Journal:

Transactions of the American Mathematical Society

Year:

1965

Language:

english

File:

PDF, 458 KB

english, 1965

31

Theorem-Proving on the Computerby J. A. Robinson

Review by: David Luckham

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 344 KB

english, 1966

32

Community Health Aides in the Ghetto: The Contra Costa Project

Luckham, Jane, Swift, David W.

Journal:

Year:

1969

File:

PDF, 352 KB

1969

33

Andrews Peter B.. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 (1968), pp. 367–381. (See Correction, ibid., p. 720.)

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 172 KB

english, 1970

34

Translating recursion schemes into program schemes

Garland, Stephen J., Luckham, David C.

Journal:

ACM SIGACT News

Year:

1972

Language:

english

File:

PDF, 799 KB

english, 1972

35

Polymorphism and subtyping in interface

Katiyar, Dinesh, Luckham, David, Mitchell, John

Journal:

ACM SIGPLAN Notices

Year:

1994

Language:

english

File:

PDF, 886 KB

english, 1994

36

A practical method of documenting and verifying Ada programs with packages

Luckham, David C., Polak, Wolfgang

Journal:

ACM SIGPLAN Notices

Year:

1980

Language:

english

File:

PDF, 998 KB

english, 1980

37

On minimal and almost-minimal systems of notations

Luckham, David, Putnam, Hilary

Journal:

Transactions of the American Mathematical Society

Year:

1965

Language:

english

File:

PDF, 1.38 MB

english, 1965

38

Event Processing for Business (Organizing the Real-Time Enterprise) || Front Matter

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

39

[ACM Press Proceeding of the ACM-SIGPLAN symposium - Boston, Massachusetts (1980.12.09-1980.12.11)] Proceeding of the ACM-SIGPLAN symposium on Ada programming language - SIGPLAN '80 - ANNA

Krieg-Brückner, Bernd, Luckham, David C.

Year:

1980

Language:

english

File:

PDF, 1022 KB

english, 1980

40

Optimization of rifampin coating on covered Dacron endovascular stent grafts for infected aortic aneurysms

Hennessey, Hooman, Luckham, Elna, Kayssi, Ahmed, Wheatcroft, Mark David, Greco, Elisa, Al-Omran, Mohammed, Harlock, John, Qadura, Mohammad

Journal:

Journal of Vascular Surgery

Year:

2018

Language:

english

File:

PDF, 719 KB

english, 2018

41

Event Processing for Business (Organizing the Real-Time Enterprise) || First Concepts in Event Processing

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

42

Event Processing for Business (Organizing the Real-Time Enterprise) || The Future of Event Processing

Year:

2012

Language:

english

File:

PDF, 1.02 MB

english, 2012

43

Event Processing for Business (Organizing the Real-Time Enterprise) || Sixty Years of Event Processing

Year:

2012

Language:

english

File:

PDF, 946 KB

english, 2012

44

Event Processing for Business (Organizing the Real-Time Enterprise) || Event Processing and the Survival of the Modern Enterprise

Year:

2012

Language:

english

File:

PDF, 1.18 MB

english, 2012

45

Event Processing for Business (Organizing the Real-Time Enterprise) || Patterns of Events

Year:

2012

Language:

english

File:

PDF, 993 KB

english, 2012

46

Event Processing for Business (Organizing the Real-Time Enterprise) || Making Sense of Chaos in Real Time: Part 2

Year:

2012

Language:

english

File:

PDF, 881 KB

english, 2012

47

Event Processing for Business (Organizing the Real-Time Enterprise) || The Rise of Commercial Event Processing

Year:

2012

Language:

english

File:

PDF, 1.33 MB

english, 2012

48

Event Processing for Business (Organizing the Real-Time Enterprise) || Markets and Emerging Markets for CEP

Year:

2012

Language:

english

File:

PDF, 1.61 MB

english, 2012

49

Event Processing for Business (Organizing the Real-Time Enterprise) || Making Sense of Chaos in Real Time: Part 1

Year:

2012

Language:

english

File:

PDF, 690 KB

english, 2012

50

[ACM Press the AdaTEC Conference - Arlington, Virginia (1982.10.06-1982.10.08)] Proceedings of the AdaTEC Conference on Ada - AdaTEC '82 - Monitoring for deadlocks in Ada tasking

German, Steven M., Helmbold, David P., Luckham, David C.

Year:

1982

Language:

english

File:

PDF, 1.87 MB

english, 1982

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски